A partial order on Littlewood–Richardson tableaux
نویسندگان
چکیده
منابع مشابه
Higher-Order Tableaux
Even though higher-order calculi for automated theorem proving are rather old, tableau calculi have not been investigated yet. This paper presents two free variable tableau calculi for higher-order logic that use higher-order uniication as the key inference procedure. These calculi diier in the treatment of the substitutional properties of equivalences. The rst calculus is equivalent in deducti...
متن کاملProperties of four partial orders on standard Young tableaux
Let SY Tn be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SY Tn and some of their crucial properties, we prove three main results: • Intervals in any of these four orders essentially describe the product in a Hopf algebra of tableaux defined by Poirier and Reutenauer. • The map sending a ...
متن کاملA Partial Order on ×2-invariant Measures
We introduce a partial order on the set of ×2-invariant probability measures, describing relative dispersion, and show that the minimal elements for this order are the Sturmian measures of Morse & Hedlund.
متن کاملA partial order structure on interval orders
We introduce a partial order structure on the set of interval orders of a given size, and prove that such a structure is in fact a lattice. We also provide a way to compute meet and join inside this lattice. Finally, we show that, if we restrict to series parallel interval order, what we obtain is the classical Tamari poset.
متن کاملLearning on Partial-Order Hypergraphs
Graph-based learning methods explicitly consider the relations between two entities (i.e., vertices) for learning the prediction function. They have been widely used in semi-supervised learning, manifold ranking, and clustering, among other tasks. Enhancing the expressiveness of simple graphs, hypergraphs formulate an edge as a link to multiple vertices, so as to model the higher-order relation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2008
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2008.01.044